
#ifndef  _TSET_WDT_H_
#define  _TSET_WDT_H_


void wdt_init_interrupt(uint32_t base_address);
void wdt_init_reset(uint32_t base_address);



int wdt_case1(dw_wdt_regs_t *pwdt);
int wdt_case2(uint32_t base_address);



#endif

